H. Kogure, T. Kurahashi; "Interpolation properties for the bimodal provability logic GR"
https://arxiv.org/abs/2311.10583